Code verification for practically singular equations

نویسندگان

چکیده

The method-of-moments implementation of the electric-field integral equation (EFIE) yields many code-verification challenges due to various sources numerical error and their possible interactions. Matters are further complicated by singular integrals, which arise from presence a Green's function. To address these an approach was previously presented wherein both solution function manufactured. Because arising equations poorly conditioned, they reformulated as set constraints for optimization problem that selects closest manufactured solution. In this paper, we demonstrate how, such practically systems equations, computing truncation inserting exact into discretized cannot detect certain orders coding errors. On other hand, discretization optimal is more sensitive metric can less than those expected convergence rate.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Legendre Wavelet Method for Solving Singular Integro-differential Equations

In this paper, we present Legendre wavelet method to obtain numerical solution of a singular integro-differential equation. The singularity is assumed to be of the Cauchy type. The numerical results obtained by the present method compare favorably with those obtained by various Galerkin methods earlier in the literature.

متن کامل

the legendre wavelet method for solving singular integro-differential equations

in this paper, we present legendre wavelet method to obtain numerical solution of a singular integro-differential equation. the singularity is assumed to be of the cauchy type. the numerical results obtained by the present method compare favorably with those obtained by various galerkin methods earlier in the literature.

متن کامل

Static Verification for Code Contracts

The Code Contracts project [3] at Microsoft Research enables programmers on the .NET platform to author specifications in existing languages such as C# and VisualBasic. To take advantage of these specifications, we provide tools for documentation generation, runtime contract checking, and static contract verification. This talk details the overall approach of the static contract checker and exa...

متن کامل

Code verification for finite volume multiphase scalar equations using the method of manufactured solutions

Code verification answers the question: “Is this code solving the equations correctly?” Validation answers the question: “Is this code solving the correct equations?” Code verification must be performed before attempting validation and is the focus of this paper. Here we present a novel method of applying the method of manufactured solutions (MMS) to finite volume multiphase codes. MMS is a pro...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Computational Physics

سال: 2022

ISSN: ['1090-2716', '0021-9991']

DOI: https://doi.org/10.1016/j.jcp.2022.111581